//给你一个字符串 s 和一个字符规律 p，请你来实现一个支持 '.' 和 '*' 的正则表达式匹配。
//
// '.' 匹配任意单个字符
//'*' 匹配零个或多个前面的那一个元素
//
//
// 所谓匹配，是要涵盖 整个 字符串 s的，而不是部分字符串。
//
// 说明:
//
//
// s 可能为空，且只包含从 a-z 的小写字母。
// p 可能为空，且只包含从 a-z 的小写字母，以及字符 . 和 *。
//
//
// 示例 1:
//
// 输入:
//s = "aa"
//p = "a"
//输出: false
//解释: "a" 无法匹配 "aa" 整个字符串。
//
//
// 示例 2:
//
// 输入:
//s = "aa"
//p = "a*"
//输出: true
//解释: 因为 '*' 代表可以匹配零个或多个前面的那一个元素, 在这里前面的元素就是 'a'。因此，字符串 "aa" 可被视为 'a' 重复了一次。
//
//
// 示例 3:
//
// 输入:
//s = "ab"
//p = ".*"
//输出: true
//解释: ".*" 表示可匹配零个或多个（'*'）任意字符（'.'）。
//
//
// 示例 4:
//
// 输入:
//s = "aab"
//p = "c*a*b"
//输出: true
//解释: 因为 '*' 表示零个或多个，这里 'c' 为 0 个, 'a' 被重复一次。因此可以匹配字符串 "aab"。
//
//
// 示例 5:
//
// 输入:
//s = "mississippi"
//p = "mis*is*p*."
//输出: false
// Related Topics 字符串 动态规划 回溯算法
// 👍 1605 👎 0

fn main() {
    let is_match1 = Solution::is_match(String::from("aa"), String::from("*a"));
    println!("{}", is_match1)
}

struct Solution;

//leetcode submit region begin(Prohibit modification and deletion)
impl Solution {
    pub fn is_match(s: String, p: String) -> bool {
        let sbytes = s.as_bytes();
        let pbytes = p.as_bytes();
        let mut f: Vec<Vec<i32>> = Vec::new(); // 二维数组
        let sl = sbytes.len() as i32;
        let pl = pbytes.len() as i32;

        // 初始化数组
        for i in 0..sl {
            let mut temp: Vec<i32> = Vec::new();
            for j in 0..pl {
                temp.push(0);
            }
            f.push(temp);
        }

        pub fn matches(a: &u8, b: &u8) -> bool {
            if b == &('.' as u8) {
                true
            } else {
                b == a
            }
        }

        pub fn dp_fn(f: &Vec<Vec<i32>>, i: i32, j: i32, sbytes: &[u8], pbytes: &[u8]) -> bool {
            // 两种情况， 如果 p[j] == * ==>
            //  if s[i] match p[j - 1] ==>  f[i - 1][j] or f[i][j - 2]
            //  else  ==> f[i][j - 2]
            // 否认， ==>
            // if s[i] match p[j] ==> f[i - 1 ][j - 1]

            if i < 0 && j < 0 {
                return true;
            } else if i >= 0 && j < 0 {
                return false;
            }

            if pbytes[j as usize] as char == '*' {
                if i == -1 {
                    dp_fn(f, i, j - 2, sbytes, pbytes)
                } else if j == 0 {
                    false
                } else if matches(&sbytes[i as usize], &pbytes[(j - 1) as usize]) {
                    dp_fn(f, i - 1, j, sbytes, pbytes) || dp_fn(f, i, j - 2, sbytes, pbytes)
                } else {
                    dp_fn(f, i, j - 2, sbytes, pbytes)
                }
            } else {
                if i == -1 {
                    false
                } else if matches(&sbytes[i as usize], &pbytes[j as usize]) {
                    dp_fn(f, i - 1, j - 1, sbytes, pbytes)
                } else {
                    return false;
                }
            }
        }

        dp_fn(&f, sl - 1, pl - 1, sbytes, pbytes)
    }
}
//leetcode submit region end(Prohibit modification and deletion)
